control C() {
  apply {
    int x = 0;
    int<8> y = x + 8s1;
  }
}
